how to write to file in linux